3.352 \(\int x (a+b x)^n \left (c+d x^2\right ) \, dx\)

Optimal. Leaf size=102 \[ -\frac{a \left (a^2 d+b^2 c\right ) (a+b x)^{n+1}}{b^4 (n+1)}+\frac{\left (3 a^2 d+b^2 c\right ) (a+b x)^{n+2}}{b^4 (n+2)}-\frac{3 a d (a+b x)^{n+3}}{b^4 (n+3)}+\frac{d (a+b x)^{n+4}}{b^4 (n+4)} \]

[Out]

-((a*(b^2*c + a^2*d)*(a + b*x)^(1 + n))/(b^4*(1 + n))) + ((b^2*c + 3*a^2*d)*(a +
b*x)^(2 + n))/(b^4*(2 + n)) - (3*a*d*(a + b*x)^(3 + n))/(b^4*(3 + n)) + (d*(a +
b*x)^(4 + n))/(b^4*(4 + n))

_______________________________________________________________________________________

Rubi [A]  time = 0.117719, antiderivative size = 102, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.062 \[ -\frac{a \left (a^2 d+b^2 c\right ) (a+b x)^{n+1}}{b^4 (n+1)}+\frac{\left (3 a^2 d+b^2 c\right ) (a+b x)^{n+2}}{b^4 (n+2)}-\frac{3 a d (a+b x)^{n+3}}{b^4 (n+3)}+\frac{d (a+b x)^{n+4}}{b^4 (n+4)} \]

Antiderivative was successfully verified.

[In]  Int[x*(a + b*x)^n*(c + d*x^2),x]

[Out]

-((a*(b^2*c + a^2*d)*(a + b*x)^(1 + n))/(b^4*(1 + n))) + ((b^2*c + 3*a^2*d)*(a +
b*x)^(2 + n))/(b^4*(2 + n)) - (3*a*d*(a + b*x)^(3 + n))/(b^4*(3 + n)) + (d*(a +
b*x)^(4 + n))/(b^4*(4 + n))

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 23.1907, size = 90, normalized size = 0.88 \[ - \frac{3 a d \left (a + b x\right )^{n + 3}}{b^{4} \left (n + 3\right )} - \frac{a \left (a + b x\right )^{n + 1} \left (a^{2} d + b^{2} c\right )}{b^{4} \left (n + 1\right )} + \frac{d \left (a + b x\right )^{n + 4}}{b^{4} \left (n + 4\right )} + \frac{\left (a + b x\right )^{n + 2} \left (3 a^{2} d + b^{2} c\right )}{b^{4} \left (n + 2\right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(x*(b*x+a)**n*(d*x**2+c),x)

[Out]

-3*a*d*(a + b*x)**(n + 3)/(b**4*(n + 3)) - a*(a + b*x)**(n + 1)*(a**2*d + b**2*c
)/(b**4*(n + 1)) + d*(a + b*x)**(n + 4)/(b**4*(n + 4)) + (a + b*x)**(n + 2)*(3*a
**2*d + b**2*c)/(b**4*(n + 2))

_______________________________________________________________________________________

Mathematica [A]  time = 0.113742, size = 109, normalized size = 1.07 \[ \frac{(a+b x)^{n+1} \left (-6 a^3 d+6 a^2 b d (n+1) x-a b^2 \left (c \left (n^2+7 n+12\right )+3 d \left (n^2+3 n+2\right ) x^2\right )+b^3 \left (n^2+4 n+3\right ) x \left (c (n+4)+d (n+2) x^2\right )\right )}{b^4 (n+1) (n+2) (n+3) (n+4)} \]

Antiderivative was successfully verified.

[In]  Integrate[x*(a + b*x)^n*(c + d*x^2),x]

[Out]

((a + b*x)^(1 + n)*(-6*a^3*d + 6*a^2*b*d*(1 + n)*x + b^3*(3 + 4*n + n^2)*x*(c*(4
+ n) + d*(2 + n)*x^2) - a*b^2*(c*(12 + 7*n + n^2) + 3*d*(2 + 3*n + n^2)*x^2)))/
(b^4*(1 + n)*(2 + n)*(3 + n)*(4 + n))

_______________________________________________________________________________________

Maple [A]  time = 0.008, size = 195, normalized size = 1.9 \[ -{\frac{ \left ( bx+a \right ) ^{1+n} \left ( -{b}^{3}d{n}^{3}{x}^{3}-6\,{b}^{3}d{n}^{2}{x}^{3}+3\,a{b}^{2}d{n}^{2}{x}^{2}-{b}^{3}c{n}^{3}x-11\,{b}^{3}dn{x}^{3}+9\,a{b}^{2}dn{x}^{2}-8\,{b}^{3}c{n}^{2}x-6\,d{x}^{3}{b}^{3}-6\,{a}^{2}bdnx+a{b}^{2}c{n}^{2}+6\,ad{x}^{2}{b}^{2}-19\,{b}^{3}cnx-6\,{a}^{2}bdx+7\,a{b}^{2}cn-12\,{b}^{3}cx+6\,{a}^{3}d+12\,a{b}^{2}c \right ) }{{b}^{4} \left ({n}^{4}+10\,{n}^{3}+35\,{n}^{2}+50\,n+24 \right ) }} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(x*(b*x+a)^n*(d*x^2+c),x)

[Out]

-(b*x+a)^(1+n)*(-b^3*d*n^3*x^3-6*b^3*d*n^2*x^3+3*a*b^2*d*n^2*x^2-b^3*c*n^3*x-11*
b^3*d*n*x^3+9*a*b^2*d*n*x^2-8*b^3*c*n^2*x-6*b^3*d*x^3-6*a^2*b*d*n*x+a*b^2*c*n^2+
6*a*b^2*d*x^2-19*b^3*c*n*x-6*a^2*b*d*x+7*a*b^2*c*n-12*b^3*c*x+6*a^3*d+12*a*b^2*c
)/b^4/(n^4+10*n^3+35*n^2+50*n+24)

_______________________________________________________________________________________

Maxima [A]  time = 0.712687, size = 197, normalized size = 1.93 \[ \frac{{\left (b^{2}{\left (n + 1\right )} x^{2} + a b n x - a^{2}\right )}{\left (b x + a\right )}^{n} c}{{\left (n^{2} + 3 \, n + 2\right )} b^{2}} + \frac{{\left ({\left (n^{3} + 6 \, n^{2} + 11 \, n + 6\right )} b^{4} x^{4} +{\left (n^{3} + 3 \, n^{2} + 2 \, n\right )} a b^{3} x^{3} - 3 \,{\left (n^{2} + n\right )} a^{2} b^{2} x^{2} + 6 \, a^{3} b n x - 6 \, a^{4}\right )}{\left (b x + a\right )}^{n} d}{{\left (n^{4} + 10 \, n^{3} + 35 \, n^{2} + 50 \, n + 24\right )} b^{4}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)*(b*x + a)^n*x,x, algorithm="maxima")

[Out]

(b^2*(n + 1)*x^2 + a*b*n*x - a^2)*(b*x + a)^n*c/((n^2 + 3*n + 2)*b^2) + ((n^3 +
6*n^2 + 11*n + 6)*b^4*x^4 + (n^3 + 3*n^2 + 2*n)*a*b^3*x^3 - 3*(n^2 + n)*a^2*b^2*
x^2 + 6*a^3*b*n*x - 6*a^4)*(b*x + a)^n*d/((n^4 + 10*n^3 + 35*n^2 + 50*n + 24)*b^
4)

_______________________________________________________________________________________

Fricas [A]  time = 0.278833, size = 338, normalized size = 3.31 \[ -\frac{{\left (a^{2} b^{2} c n^{2} + 7 \, a^{2} b^{2} c n + 12 \, a^{2} b^{2} c + 6 \, a^{4} d -{\left (b^{4} d n^{3} + 6 \, b^{4} d n^{2} + 11 \, b^{4} d n + 6 \, b^{4} d\right )} x^{4} -{\left (a b^{3} d n^{3} + 3 \, a b^{3} d n^{2} + 2 \, a b^{3} d n\right )} x^{3} -{\left (b^{4} c n^{3} + 12 \, b^{4} c +{\left (8 \, b^{4} c - 3 \, a^{2} b^{2} d\right )} n^{2} +{\left (19 \, b^{4} c - 3 \, a^{2} b^{2} d\right )} n\right )} x^{2} -{\left (a b^{3} c n^{3} + 7 \, a b^{3} c n^{2} + 6 \,{\left (2 \, a b^{3} c + a^{3} b d\right )} n\right )} x\right )}{\left (b x + a\right )}^{n}}{b^{4} n^{4} + 10 \, b^{4} n^{3} + 35 \, b^{4} n^{2} + 50 \, b^{4} n + 24 \, b^{4}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)*(b*x + a)^n*x,x, algorithm="fricas")

[Out]

-(a^2*b^2*c*n^2 + 7*a^2*b^2*c*n + 12*a^2*b^2*c + 6*a^4*d - (b^4*d*n^3 + 6*b^4*d*
n^2 + 11*b^4*d*n + 6*b^4*d)*x^4 - (a*b^3*d*n^3 + 3*a*b^3*d*n^2 + 2*a*b^3*d*n)*x^
3 - (b^4*c*n^3 + 12*b^4*c + (8*b^4*c - 3*a^2*b^2*d)*n^2 + (19*b^4*c - 3*a^2*b^2*
d)*n)*x^2 - (a*b^3*c*n^3 + 7*a*b^3*c*n^2 + 6*(2*a*b^3*c + a^3*b*d)*n)*x)*(b*x +
a)^n/(b^4*n^4 + 10*b^4*n^3 + 35*b^4*n^2 + 50*b^4*n + 24*b^4)

_______________________________________________________________________________________

Sympy [A]  time = 7.68216, size = 2241, normalized size = 21.97 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x*(b*x+a)**n*(d*x**2+c),x)

[Out]

Piecewise((a**n*(c*x**2/2 + d*x**4/4), Eq(b, 0)), (6*a**5*d*log(a/b + x)/(6*a**5
*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*x**3) + 2*a**5*d/(6*a**
5*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*x**3) + 18*a**4*b*d*x*
log(a/b + x)/(6*a**5*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*x**
3) + 18*a**3*b**2*d*x**2*log(a/b + x)/(6*a**5*b**4 + 18*a**4*b**5*x + 18*a**3*b*
*6*x**2 + 6*a**2*b**7*x**3) - 9*a**3*b**2*d*x**2/(6*a**5*b**4 + 18*a**4*b**5*x +
18*a**3*b**6*x**2 + 6*a**2*b**7*x**3) + 6*a**2*b**3*d*x**3*log(a/b + x)/(6*a**5
*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*x**3) - 9*a**2*b**3*d*x
**3/(6*a**5*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*x**3) + 3*a*
b**4*c*x**2/(6*a**5*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*x**3
) + b**5*c*x**3/(6*a**5*b**4 + 18*a**4*b**5*x + 18*a**3*b**6*x**2 + 6*a**2*b**7*
x**3), Eq(n, -4)), (-6*a**4*d*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b*
*6*x**2) - 3*a**4*d/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) - 12*a**3*b*d*
x*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) - 6*a**2*b**2*d*x**
2*log(a/b + x)/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 6*a**2*b**2*d*x**
2/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a*b**6*x**2) + 2*a*b**3*d*x**3/(2*a**3*b**4 +
4*a**2*b**5*x + 2*a*b**6*x**2) + b**4*c*x**2/(2*a**3*b**4 + 4*a**2*b**5*x + 2*a
*b**6*x**2), Eq(n, -3)), (6*a**3*d*log(a/b + x)/(2*a*b**4 + 2*b**5*x) + 6*a**3*d
/(2*a*b**4 + 2*b**5*x) + 6*a**2*b*d*x*log(a/b + x)/(2*a*b**4 + 2*b**5*x) + 2*a*b
**2*c*log(a/b + x)/(2*a*b**4 + 2*b**5*x) + 2*a*b**2*c/(2*a*b**4 + 2*b**5*x) - 3*
a*b**2*d*x**2/(2*a*b**4 + 2*b**5*x) + 2*b**3*c*x*log(a/b + x)/(2*a*b**4 + 2*b**5
*x) + b**3*d*x**3/(2*a*b**4 + 2*b**5*x), Eq(n, -2)), (-a**3*d*log(a/b + x)/b**4
+ a**2*d*x/b**3 - a*c*log(a/b + x)/b**2 - a*d*x**2/(2*b**2) + c*x/b + d*x**3/(3*
b), Eq(n, -1)), (-6*a**4*d*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2
+ 50*b**4*n + 24*b**4) + 6*a**3*b*d*n*x*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3
+ 35*b**4*n**2 + 50*b**4*n + 24*b**4) - a**2*b**2*c*n**2*(a + b*x)**n/(b**4*n**4
+ 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) - 7*a**2*b**2*c*n*(a + b*x
)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) - 12*a**2*b
**2*c*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**
4) - 3*a**2*b**2*d*n**2*x**2*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n*
*2 + 50*b**4*n + 24*b**4) - 3*a**2*b**2*d*n*x**2*(a + b*x)**n/(b**4*n**4 + 10*b*
*4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) + a*b**3*c*n**3*x*(a + b*x)**n/(b*
*4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) + 7*a*b**3*c*n**2*x
*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) +
12*a*b**3*c*n*x*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*
n + 24*b**4) + a*b**3*d*n**3*x**3*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b*
*4*n**2 + 50*b**4*n + 24*b**4) + 3*a*b**3*d*n**2*x**3*(a + b*x)**n/(b**4*n**4 +
10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) + 2*a*b**3*d*n*x**3*(a + b*x)
**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) + b**4*c*n**
3*x**2*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b*
*4) + 8*b**4*c*n**2*x**2*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 +
50*b**4*n + 24*b**4) + 19*b**4*c*n*x**2*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3
+ 35*b**4*n**2 + 50*b**4*n + 24*b**4) + 12*b**4*c*x**2*(a + b*x)**n/(b**4*n**4 +
10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) + b**4*d*n**3*x**4*(a + b*x)
**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*b**4) + 6*b**4*d*n
**2*x**4*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 + 50*b**4*n + 24*
b**4) + 11*b**4*d*n*x**4*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 35*b**4*n**2 +
50*b**4*n + 24*b**4) + 6*b**4*d*x**4*(a + b*x)**n/(b**4*n**4 + 10*b**4*n**3 + 3
5*b**4*n**2 + 50*b**4*n + 24*b**4), True))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.279534, size = 610, normalized size = 5.98 \[ \frac{b^{4} d n^{3} x^{4} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + a b^{3} d n^{3} x^{3} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 6 \, b^{4} d n^{2} x^{4} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + b^{4} c n^{3} x^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 3 \, a b^{3} d n^{2} x^{3} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 11 \, b^{4} d n x^{4} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + a b^{3} c n^{3} x e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 8 \, b^{4} c n^{2} x^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} - 3 \, a^{2} b^{2} d n^{2} x^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 2 \, a b^{3} d n x^{3} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 6 \, b^{4} d x^{4} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 7 \, a b^{3} c n^{2} x e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 19 \, b^{4} c n x^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} - 3 \, a^{2} b^{2} d n x^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} - a^{2} b^{2} c n^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 12 \, a b^{3} c n x e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 6 \, a^{3} b d n x e^{\left (n{\rm ln}\left (b x + a\right )\right )} + 12 \, b^{4} c x^{2} e^{\left (n{\rm ln}\left (b x + a\right )\right )} - 7 \, a^{2} b^{2} c n e^{\left (n{\rm ln}\left (b x + a\right )\right )} - 12 \, a^{2} b^{2} c e^{\left (n{\rm ln}\left (b x + a\right )\right )} - 6 \, a^{4} d e^{\left (n{\rm ln}\left (b x + a\right )\right )}}{b^{4} n^{4} + 10 \, b^{4} n^{3} + 35 \, b^{4} n^{2} + 50 \, b^{4} n + 24 \, b^{4}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)*(b*x + a)^n*x,x, algorithm="giac")

[Out]

(b^4*d*n^3*x^4*e^(n*ln(b*x + a)) + a*b^3*d*n^3*x^3*e^(n*ln(b*x + a)) + 6*b^4*d*n
^2*x^4*e^(n*ln(b*x + a)) + b^4*c*n^3*x^2*e^(n*ln(b*x + a)) + 3*a*b^3*d*n^2*x^3*e
^(n*ln(b*x + a)) + 11*b^4*d*n*x^4*e^(n*ln(b*x + a)) + a*b^3*c*n^3*x*e^(n*ln(b*x
+ a)) + 8*b^4*c*n^2*x^2*e^(n*ln(b*x + a)) - 3*a^2*b^2*d*n^2*x^2*e^(n*ln(b*x + a)
) + 2*a*b^3*d*n*x^3*e^(n*ln(b*x + a)) + 6*b^4*d*x^4*e^(n*ln(b*x + a)) + 7*a*b^3*
c*n^2*x*e^(n*ln(b*x + a)) + 19*b^4*c*n*x^2*e^(n*ln(b*x + a)) - 3*a^2*b^2*d*n*x^2
*e^(n*ln(b*x + a)) - a^2*b^2*c*n^2*e^(n*ln(b*x + a)) + 12*a*b^3*c*n*x*e^(n*ln(b*
x + a)) + 6*a^3*b*d*n*x*e^(n*ln(b*x + a)) + 12*b^4*c*x^2*e^(n*ln(b*x + a)) - 7*a
^2*b^2*c*n*e^(n*ln(b*x + a)) - 12*a^2*b^2*c*e^(n*ln(b*x + a)) - 6*a^4*d*e^(n*ln(
b*x + a)))/(b^4*n^4 + 10*b^4*n^3 + 35*b^4*n^2 + 50*b^4*n + 24*b^4)